﻿using Library.Logic.Constraints;
using System;

namespace Library.Logic
{
    public static partial class Builtin
    {
        public static bool InferType(IConstraintsReasonReadOnly constraints, uint index, out Type type)
        {
            Type baseType = constraints.InputParameters[index].Type;

            throw new NotImplementedException();
        }
        public static bool InferType(IConstraintsReasonReadOnly constraints, uint index, out IConstraintsReasonReadOnly typeConstraints)
        {
            Type baseType = constraints.InputParameters[index].Type;

            throw new NotImplementedException();
        }
    }
}
